poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(pe{-}loc(${\it ev}$) = $i$ \& (discrete state@$i$ $\subseteq$r $T$)) c$\wedge$ ($R$($s$,pe{-}state(${\it ev}$)))